Top-Down Skiplists
نویسندگان
چکیده
We describe todolists (top-down skiplists), a variant of skiplists (Pugh 1990) that can execute searches using at most log2−εn +O(1) binary comparisons per search and that have amortized update timeO(ε−1 logn). A variant of todolists, called working-todolists, can execute a search for any element x using log2−εw(x)+ o(logw(x)) binary comparisons and have amortized search time O(ε−1 logw(w)). Here, w(x) is the “working-set number” of x. No previous data structure is known to achieve a bound better than 4log2w(x) comparisons. We show through experiments that, if implemented carefully, todolists are comparable to other common dictionary implementations in terms of insertion times and outperform them in terms of search times. ∗School of Computer Science, Carleton University and Département d’Informatique, Université Libre de Bruxelles, [email protected] †School of Computer Science, Carleton University, [email protected] ar X iv :1 40 7. 79 17 v1 [ cs .D S] 3 0 Ju l 2 01 4
منابع مشابه
Formal Verification of Skiplists with Arbitrary Many Levels
We present an effective method for the formal verification of skiplists, including skiplists with arbitrary length and unbounded size. The core of the method is a novel theory of skiplists with a decidable satisfiability problem, which up to now has been an open problem. A skiplist is an imperative software data structure used to implement a set by maintaining several ordered singly-linked list...
متن کاملA Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height
This paper presents a theory of skiplists of arbitrary height, and shows decidability of the satisfiability problem for quantifier-free formulas. A skiplist is an imperative software data structure that implements sets by maintaining several levels of ordered singly-linked lists in memory, where each level is a sublist of its lower levels. Skiplists are widely used in practice because they offe...
متن کاملA Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention
Priority queues are fundamental to many multiprocessor applications. Several priority queue algorithms based on skiplists have been proposed, as skiplists allow concurrent accesses to different parts of the data structure in a simple way. However, for priority queues on multiprocessors, an inherent bottleneck is the operation that deletes the minimal element. We present a linearizable, lock-fre...
متن کاملA Comparative Study of Effect of Bottom-up and Top-down Instructional Approaches on EFL Learners’ Vocabulary Recall and Retention
This quasi-experimental study investigated the effect of bottom-up and top-down instructional approaches on English as a foreign language (EFL) vocabulary recall and retention. To this end, 44 high school students from two intact classes were assigned to bottom-up (n = 21) and top-down (n = 23) groups. The participants were exposed to 20 hours of explicit vocabulary instruction during 10 weeks ...
متن کاملEvent-Related Potentials of Bottom-Up and Top-Down Processing of Emotional Faces
Introduction: Emotional stimulus is processed automatically in a bottom-up way or can be processed voluntarily in a top-down way. Imaging studies have indicated that bottom-up and top-down processing are mediated through different neural systems. However, temporal differentiation of top-down versus bottom-up processing of facial emotional expressions has remained to be clarified. The present st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1407.7917 شماره
صفحات -
تاریخ انتشار 2014